How type casting works in java